Definable Tietze extension property in o-minimal expansions of ordered groups
نویسندگان
چکیده
The following two assertions are equivalent for an o-minimal expansion of ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between bounded interval and unbounded interval. Any continuous function $f:A \rightarrow M$ defined on closed subset $M^n$ has extension $F:M^n M$.
منابع مشابه
Grothendieck rings of o-minimal expansions of ordered abelian groups
We will calculate completely the Grothendieck rings, in the sense of first order logic, of o-minimal expansions of ordered abelian groups by introducing the notion of the bounded Euler characteristic.
متن کاملStrongly minimal expansions of (C,+) definable in o-minimal fields
We characterize those functions f : C → C definable in o-minimal expansions of the reals for which the structure (C,+, f) is strongly minimal: such functions must be complex constructible, possibly after conjugating by a real matrix. In particular we prove a special case of the Zilber Dichotomy: an algebraically closed field is definable in certain strongly minimal structures which are definabl...
متن کاملOn Weakly O-minimal Non-valuational Expansions of Ordered Groups
Let M = 〈M,<,+, . . .〉 be a weakly o-minimal expansion of an ordered group. This paper has two parts. In the rst part, we introduce the notion of M having no external limits and use it to prove that a large collection of non-valuational structures M do not admit de nable Skolem functions. In the second part, we provide an alternative characterization of the canonical o-minimal completion from [...
متن کاملA Growth Dichotomy for O-minimal Expansions of Ordered Groups
Let R be an o-minimal expansion of a divisible ordered abelian group (R, <, +, 0, 1) with a distinguished positive element 1. Then the following dichotomy holds: Either there is a 0-definable binary operation · such that (R, <, +, ·, 0, 1) is an ordered real closed field; or, for every definable function f : R → R there exists a 0-definable λ ∈ {0} ∪ Aut(R, +) with limx→+∞[f(x) − λ(x)] ∈ R. Thi...
متن کاملGroups Definable in O-minimal Structures
In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the special case of semi-linear groups, exemplifying their relation with real Lie groups. The structure of these lectures is as follows: (1) Basics of o-minimality: definition, Cell Decomposition Theorem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2023
ISSN: ['1432-0665', '0933-5846']
DOI: https://doi.org/10.1007/s00153-023-00875-5